Merge branch 'wip/settings-portal' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 4 Nov 2018 20:57:26 +0000 (20:57 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 4 Nov 2018 20:57:26 +0000 (20:57 +0000)
settings portal

See merge request GNOME/gtk!403


Trivial merge